../../src/RinexObsStream.hpp